backward deduction system

un. 向后演绎系统
[网络] 逆向演绎推理;后向演绎系统